#include "PDTBoolVar.h"
#include "PDTCodeGraph.h"

PDTBoolVar::PDTBoolVar(PDTCodeGraph & CG,string name):PDTExpBoolSing(CG),PDTVar(name){
	CG.addVar(this);
}
